TCAS software verification using constraint programming
نویسندگان
چکیده
منابع مشابه
TCAS software verification using constraint programming
Safety-critical software must be thoroughly verified before being exploited in commercial applications. In particular, any TCAS (Traffic Alert and Collision Avoidance System) implementation must be verified against safety properties extracted from the anti-collision theory that regulates the controlled airspace. This verification step is currently realized with manual code reviews and testing. ...
متن کاملautomatic verification of authentication protocols using genetic programming
implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...
15 صفحه اولVerification of Parallel Systems using Constraint Programming
Liveness properties of parallel systems usually specify that in every execution certain states are eventually reached. Therefore, violation of such a property can only be detected in innnite executions. In this paper we introduce a semi-decision method that is based on structural Petri net analysis and makes use of the constraint programming paradigm. By a semi-decision method we understand a p...
متن کاملExploration of the Capabilities of Constraint Programming for Software Verification
Verification and validation are two of the most critical issues in the software engineering process. Numerous techniques ranging from formal proofs to testing methods have been used during the last years to verify the conformity of a program with its specification. Recently, constraint programming techniques have been used to generate test data. In this paper we investigate the capabilities of ...
متن کاملConstraint programming for software engineering
Constraint programming is a research topic at the crossroads of artificial intelligence, operations research and numerical analysis. This rather new research field as now proved useful for solving complex combinatorial problems in decision making processes. New applications arise now and particularly in software engineering. In this paper, we show the interest and the perspectives in using cons...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Knowledge Engineering Review
سال: 2012
ISSN: 0269-8889,1469-8005
DOI: 10.1017/s0269888912000252